Перевод: с английского на все языки

со всех языков на английский

Со всех языков на:
Английский
С английского на:
Русский

general modal logic

Толкование Перевод

1 general modal logic

Математика: общая модальная логика

Универсальный англо-русский словарь > general modal logic
2 general modal logic

общая модальная логика

English-Russian scientific dictionary > general modal logic
3 logic

1) логика || логический

2) вчт логические схемы, логика

3) логический блок; логический узел

•

logic with identity — логика с тождеством

logic without identity — логика без тождества

- algebraic logic

- applied logic

- auxiliary logic

- bivalent logic

- cellular logic

- class logic

- classical logic

- classical propositional logic

- commodity logic

- continuous logic

- countably complete logic

- decision logic

- decoding logic

- deductive logic

- derivative logic

- deterministic logic

- dialectical logic

- digitizing logic

- dual logic

- dyadic logic

- dynamic logic

- elementary logic

- empirical logic

- equational logic

- extended logic

- extensional logic

- external logic

- feature logic

- finite-valued logic

- first-order logic

- free logic

- fuzzy logic

- general modal logic

- generalized logic

- generalized stochastic logic

- heuristic logic

- imperative logic

- implicational logic

- inductive logic

- inductively generated logic

- infinitary logic

- infinite-valued logic

- intensional logic

- intermediate logic

- intrinsic logic

- intuitionistic logic

- iterative logic

- lattice-theoretic logic

- limit logic

- logic of certainty

- logic of evidence

- logic of existence

- logic of higher order

- logic of modalities

- logic of norms

- logic of part

- logic of preference

- logic of strict implication

- logic of truth

- logic of verification

- logic of whole

- minimal logic

- modal logic

- monadic logic

- multivalued logic

- natural logic

- nonclassical logic

- nonconstructive logic

- nonmonotonic logic

- normative logic

- n-valued logic

- object logic

- orthodox logic

- polyvalent logic

- positive logic

- predicate logic

- projectively generated logic

- propositional logic

- pure logic

- quantificational logic

- quite full logic

- reduced logic

- redundant logic

- search logic

- semicomplete logic

- sentential logic

- separable logic

- set-theoretic predicate logic

- shielded

- situational logic

- static logic

- stochastic logic

- strict logic

- strongly strict logic

- superintuitionistic logic

- switching logic

- syllogistic logic

- system logic

- technical logic

- tense logic

- three-level logic

- three-valued logic

- topological logic

- traditional logic

- transforming logic

- trivalent logic

- unordered logic

- unorthodox logic

- unspecialized logic

English-Russian scientific dictionary > logic

См. также в других словарях:

Modal logic — is a type of formal logic that extends classical propositional and predicate logic to include operators expressing modality. Modals words that express modalities qualify a statement. For example, the statement John is happy might be qualified by… … Wikipedia
Epistemic modal logic — is a subfield of modal logic that is concerned with reasoning about knowledge. While epistemology has a long philosophical tradition dating back to Ancient Greece, epistemic logic is a much more recent development with applications in many fields … Wikipedia
Dynamic logic (modal logic) — For the subject in digital electronics also known as clocked logic, see dynamic logic (digital electronics). Dynamic logic is an extension of modal logic originally intended for reasoning about computer programs and later applied to more general… … Wikipedia
logic, history of — Introduction the history of the discipline from its origins among the ancient Greeks to the present time. Origins of logic in the West Precursors of ancient logic There was a medieval tradition according to which the Greek philosopher … Universalium
Modal companion — In logic, a modal companion of a superintuitionistic (intermediate) logic L is a normal modal logic which interprets L by a certain canonical translation, described below. Modal companions share various properties of the original intermediate… … Wikipedia
Logic — For other uses, see Logic (disambiguation). Philosophy … Wikipedia
logic, philosophy of — Philosophical study of the nature and scope of logic. Examples of questions raised in the philosophy of logic are: In virtue of what features of reality are the laws of logic true? ; How do we know the truths of logic? ; and Could the laws of… … Universalium
General frame — In logic, general frames (or simply frames) are Kripke frames with an additional structure, which are used to model modal and intermediate logics. The general frame semantics combines the main virtues of Kripke semantics and algebraic semantics:… … Wikipedia
Modal operator — In modal logic, a modal operator is an operator which forms propositions from propositions. In general, a modal operator has the formal property of being non truth functional, and is intuitively characterised by expressing a modal attitude (such… … Wikipedia
Modal μ-calculus — In theoretical computer science, the modal μ calculus (also μ calculus, but this can have a more general meaning) is an extension of propositional modal logic (with many modalities) by adding a least fixpoint operator μ and a greatest fixpoint… … Wikipedia
logic — logicless, adj. /loj ik/, n. 1. the science that investigates the principles governing correct or reliable inference. 2. a particular method of reasoning or argumentation: We were unable to follow his logic. 3. the system or principles of… … Universalium

Словари и энциклопедии на Академике

Перевод: с английского на все языки

general modal logic

См. также в других словарях:

Поделиться ссылкой на выделенное

Словари и энциклопедии на Академике

Перевод: с английского на все языки

general modal logic

См. также в других словарях:

Поделиться ссылкой на выделенное

Прямая ссылка: